FCA Software Interoperability
نویسنده
چکیده
This paper discusses FCA software interoperability from a variety of angles: because the central FCA structures, formal contexts and concept lattices, can be represented in non-FCA software, interoperability with such software is of relevance. The non-FCA software in question is spreadsheet, relational database, graph and vector graphics software. The simplest approach to interoperability consists of providing file format conversion tools, such as FcaStone, which is therefore also discussed in this paper. Interoperability can be hindered by social factors, i.e. if the FCA researchers do not want to use non-FCA software. This issue is investigated with respect to software-derived graph layouts of lattice diagrams. An experiment that compares different software-derived lattice diagram layouts is conducted and leads to a surprising result.
منابع مشابه
FcaStone - FCA file format conversion and interoperability software
This paper presents FcaStone a software for FCA file format conversion and interoperability. The paper both describes the features of FcaStone and discusses FCA interoperability issues (such as the specific difficulties encountered when connecting FCA tools to other tools). The paper ends with a call to the FCA community to develop some sort of standard FCA Interchange Format, which could be us...
متن کاملData conversion and interoperability for FCA
This paper proposes a tool that converts non-FCA format data files into an FCA format, thereby making a wide range of public data sets and data produced by non-FCA tools interoperable with FCA tools. This will also offer the power of FCA to a wider community of data analysts. A repository of converted data is also proposed, as a consistent resource of public data for analysis and for the testin...
متن کاملCombining FCA Software and Sage
This paper discusses in how far FCA software can be combined with the computer algebra system Sage. The motivation for this paper is teaching mathematics to software engineering students using Sage and FCA which highlights differences and connections between mathematical and computational structures. Furthermore, this paper provides implementation details on how Sage’s functions for matrices, g...
متن کاملOperational Specification for FCA using Z
We present an outline of a process by which operational software requirements specifications can be written for Formal Concept Analysis (FCA). The Z notation is used to specify the FCA model and the formal operations on it. We posit a novel approach whereby key features of Z and FCA can be integrated and put to work in contemporary software development, thus promoting operational specification ...
متن کاملApplying FCA toolbox to Software Testing
Software testing uses wide range of different tools to enhance the complicated process of defining quality of the system under test. Formal Concept Analysis (FCA) provides us with algorithms of deriving formal ontology from a set of objects and their attributes. With the use of FCA we can considerably improve the efficiency of test case derivation. Moreover, an FCA-based machine learning system...
متن کامل